Security‐ and safety‐critical cyber‐physical systems
نویسندگان
چکیده
منابع مشابه
Cyberphysical systems security applied to telesurgical robotics
a r t i c l e i n f o Researchers in telesurgical robotics and security collaborated to develop the Secure ITP, a security enhancement to the Interoperable Telesurgery Protocol (ITP). The ITP defines the structure for communication between telesurgery robots and controllers and has been adopted and tested by fourteen research groups in telesurgical robotics. The Secure ITP uses open source soft...
متن کاملBeyond the Cloud: Cyberphysical Systems
C louds offer a novel way to revitalize the seemingly archaic concept of time-sharing. Rather than relying on fixed mainframes, clouds thrive in the Internet. Clouds offer impressive efficiencies, unprecedented collaboration opportunities, and economies of scale for all manner of networked users. Yet cloud server farms have enormously costly power consumption footprints and require massive data...
متن کاملStructural Resilience of Cyberphysical Systems
The resilience of cyberphysical systems (CPS) to denial of service (DoS) and integrity attacks is studied. The CPS is modeled as a linear structured system, and its resilience to various attack scenarios is interpreted in a graph theoretical framework. The structural resilience of the CPS to DoS and integrity attacks is characterized in terms of unmatched vertices in maximum matchings of the bi...
متن کاملA Framework for Measuring Security as a System Property in Cyberphysical Systems
This paper addresses the challenge of measuring security, understood as a system property, of cyberphysical systems, in the category of similar properties, such as safety and reliability. First, it attempts to define precisely what security, as a system property, really is. Then, an application context is presented, in terms of an attack surface in cyberphysical systems. Contemporary approaches...
متن کاملHybrid Simulation of CyberPhysical Energy Systems
Simulating cyber-physical energy systems such as data centers requires the characterization of the energy interactions between the computing units and the physical environment. Such interactions involve discrete events such as changes in operating modes of cooling units, and also transient processes such as heat flow. An event-based simulator fails to capture continuous transient effects while ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Software: Evolution and Process
سال: 2019
ISSN: 2047-7473,2047-7481
DOI: 10.1002/smr.2239